Gradual typing - PDFSEARCH.IO - Document Search Engine

Gradual typing
Results: 54

#	Item
31	Andrew M. Kent Contact Information Lindley Hall 215 Indiana University Add to Reading List Source URL: andmkent.com Language: English - Date: 2016-02-14 16:25:01 Software engineering Programming language theory Computing Procedural programming languages Functional languages Gradual typing Type system Programming language Racket ALGOL 68 Io Association for Computing Machinery
32	Gradual Typing for Mutable Objects Jeremy G. Siek1 , Michael M. Vitousek2 , and Shashank Bharadwaj1 1 Department of Electrical, Computer, and Energy Engineering 2 Add to Reading List Source URL: ecee.colorado.edu Language: English - Date: 2013-05-23 12:18:33
33	PDF Document Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-11-12 18:17:11 Software engineering Programming language theory Software NATO CENTAG wartime structure Gradual typing Factorization Type system Racket
34	Gradual Typing of Erlang Programs: A Wrangler Experience Konstantinos Sagonas Daniel Luna School of Electrical and Computer Engineering, National Technical University of Athens, Greece Add to Reading List Source URL: user.it.uu.se Language: English - Date: 2008-10-01 12:41:06
35	The Gradualizer: A Methodology and Algorithm for Generating Gradual Type Systems Matteo Cimini Jeremy G. Siek Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Type theory Lambda calculus Type systems Models of computation Program analysis Simply typed lambda calculus Gradual typing Monad System F
36	The State of the Art in Gradual Typing Jeremy G. Siek Indiana University, Bloomington SICSA Summer School on Practical Types University of St. Andrews Add to Reading List Source URL: dl.dropboxusercontent.com Language: English Type systems Procedural programming languages Type theory Data types Gradual typing Boo Manifest typing Higher-order function
37	Refined Criteria for Gradual Typing∗ Jeremy G. Siek1 , Michael M. Vitousek1 , Matteo Cimini1 , and John Tang Boyland2 1 Indiana University – Bloomington, School of Informatics and Computing Add to Reading List Source URL: drops.dagstuhl.de - Date: 2015-04-28 03:32:00
38	Refined Criteria for Gradual Typing Jeremy G. Siek, Michael M. Vitousek, Matteo Cimini, John Tang Boyland, Sam Tobin-Hochstadt Indiana University Bloomington SNAPL 2015 Add to Reading List Source URL: dl.dropboxusercontent.com
39	Towards Practical Gradual Typing˚ Asumu Takikawa1 , Daniel Feltey1 , Earl Dean2 , Matthew Flatt3 , Robert Bruce Findler4 , Sam Tobin-Hochstadt2 , and Matthias Felleisen1 1 Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-05-11 21:04:51